amsbsy.dtx

---